software specification造句
例句與造句
- the essence of software test based on model is how to develop effective test cases based on software specifications
基于模型的軟件測(cè)試的本質(zhì)是如何依據(jù)一種以適當(dāng)方式描述的軟件規(guī)格說明來設(shè)計(jì)和生成有效的測(cè)試用例。 - doorsanalyst supports the use of uml 2.0, the state-of-the-art, standardized visual systems and software specification language, for visual modeling
doorsanalyst支持在可視化建模時(shí)使用uml2.0，這是具有最新技術(shù)發(fā)展水平的標(biāo)準(zhǔn)化可視化系統(tǒng)及軟件的規(guī)范語(yǔ)言。 - deriving operational software specification from system goals . in proc . 10th acm sigsoft symposium on the foundations of software engineering, charleston, south carolina, usa, 2002, pp . 119-128
從環(huán)境及其交互的語(yǔ)義模型出發(fā)，研究軟件需求的本質(zhì)含義，試圖建立從需求到軟件規(guī)格說明的平滑連續(xù)需求工程過程。 - after making adequate analysis upon the errors ever occurred in areospace computer system, together with a lot of case data, we can see it distinctly that the software specifications are often the important sources of the errors
通過對(duì)航天計(jì)算機(jī)系統(tǒng)的軟件所普遍存在著的錯(cuò)誤進(jìn)行分析，結(jié)合一些實(shí)際數(shù)據(jù)，我們清晰地看到，軟件需求規(guī)格說明常常是引起軟件錯(cuò)誤的重要來源。 - this paper based on the hj04a railway signal computer system which is developed by the research institute of microcomputer, hefei university of technology . according to requirement of the interlocking software " s reliability and safety . considered with the software requirement analysis, combining the uml and z, we finally design the interlocking software specification which is completeness, consistency, no redundancy, no different meanings and is consistent with the demand of the system
本論文針對(duì)合肥工大微型計(jì)算機(jī)應(yīng)用研究所研究開發(fā)的hj04a鐵路信號(hào)計(jì)算機(jī)聯(lián)鎖系統(tǒng)，根據(jù)計(jì)算機(jī)聯(lián)鎖系統(tǒng)聯(lián)鎖軟件設(shè)計(jì)可靠性和安全性要求，從軟件的需求分析著手，綜合uml統(tǒng)一建模語(yǔ)言方法和形式化描述語(yǔ)言z語(yǔ)言的方法，設(shè)計(jì)出完全的、一致的、無冗余的、無歧義的、符合系統(tǒng)要求的聯(lián)鎖軟件規(guī)格說明書。 - It's difficult to find software specification in a sentence. 用software specification造句挺難的
- although the software specification described using natural language is easy to write and understand, its validity, integrality, non-ambiguity, consistency are hard to guarantee . the process of verification can only be done by manpower which is not normative and not rigorous . and the complexity of a lot of software has made it impossible to check the specifications artificially
需求規(guī)格說明是需求分析階段的產(chǎn)品，我們通常采用的是未使用任何限制非形式化的自然語(yǔ)言進(jìn)行描述，這種自然語(yǔ)言書寫的需求說明，雖然易于理解和使用，但難以保證其正確性、完整性、無二義性、一致性，驗(yàn)證過程只能采用不太規(guī)范、不太嚴(yán)格的人工走查的方法進(jìn)行檢查，稍微復(fù)雜一些軟件的需求規(guī)格說明的檢查，實(shí)際上已經(jīng)超出了人工檢查的能力。